The implementation of system modeling methods in safety engineering | IEEE Conference Publication | IEEE Xplore